Miller

Results: 11884



#Item
331The Function Passing Model: Types, Proofs, and Semantics Philipp Haller, Normen M¨ uller, Heather Miller May 2016

The Function Passing Model: Types, Proofs, and Semantics Philipp Haller, Normen M¨ uller, Heather Miller May 2016

Add to Reading List

Source URL: infoscience.epfl.ch

- Date: 2016-09-18 20:26:49
    332Microsoft Word - Nordicity Miller Report on Future of Local TVFormatted Draft DC clean

    Microsoft Word - Nordicity Miller Report on Future of Local TVFormatted Draft DC clean

    Add to Reading List

    Source URL: www.friends.ca

    - Date: 2015-11-05 19:54:26
      333A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

      A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2013-11-07 01:57:36
        334Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp

        Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp

        Add to Reading List

        Source URL: infoscience.epfl.ch

        - Date: 2014-05-14 09:23:19
          335The Accelerated Learning Program: Throwing Open the Gates Peter Adams, Sarah Gearhart, Robert Miller, and Anne Roberts ABSTRACT: This article reports on the Accelerated Learning Program (ALP), a new model of basic writin

          The Accelerated Learning Program: Throwing Open the Gates Peter Adams, Sarah Gearhart, Robert Miller, and Anne Roberts ABSTRACT: This article reports on the Accelerated Learning Program (ALP), a new model of basic writin

          Add to Reading List

          Source URL: files.eric.ed.gov

          - Date: 2013-08-02 03:23:10
            336R (Miller) v Secretary of State for Exiting the European UnionEWHCAdmin) Summary of judgment

            R (Miller) v Secretary of State for Exiting the European UnionEWHCAdmin) Summary of judgment

            Add to Reading List

            Source URL: www.judiciary.gov.uk

            - Date: 2016-11-03 04:56:21
              337Combining Childhood Vaccines at One Visit Is Not Safe Neil Z. Miller ABSTRACT Although health authorities including the Centers for Disease Control and Prevention (CDC) claim that childhood vaccines are

              Combining Childhood Vaccines at One Visit Is Not Safe Neil Z. Miller ABSTRACT Although health authorities including the Centers for Disease Control and Prevention (CDC) claim that childhood vaccines are

              Add to Reading List

              Source URL: www.jpands.org

              - Date: 2016-06-14 01:06:09
                338Effective translation of current dietary guidance: understanding and communicating the concepts of minimal and optimal levels of dietary protein1–5 Nancy R Rodriguez and Sharon L Miller Keywords: dietary guidance, pro

                Effective translation of current dietary guidance: understanding and communicating the concepts of minimal and optimal levels of dietary protein1–5 Nancy R Rodriguez and Sharon L Miller Keywords: dietary guidance, pro

                Add to Reading List

                Source URL: ajcn.nutrition.org

                  339Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

                  Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2014-12-22 08:38:15
                    340Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

                    Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    - Date: 2013-05-22 23:44:30